| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Compilerbau | Fach-/Modulprüfung | 6 | 534496 | ||
| Vorlesung | 533716 | Mo 13:30-16:30 AH VI (2356|051) (×1) Di 12:30-14:00 AH III (2350|314.1) (×12) Mi 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Übung | 533717 | Mo 14:45-16:45 AH I (2350|028) (×1) Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 528016 | ||
| Eingebettete Systeme | Fach-/Modulprüfung | 6 | 532112 | ||
| Vorlesung/Übung | 524753 | Mo 16:30-18:00 H07 (1385|104) (×12) Mi 10:30-12:00 H07 (1385|104) (×10) | |||
| Vorlesung/Übung | 527290 | Mo 14:30-16:00 AH III (2350|314.1) (×12) Di 18:30-20:00 H06 (1385|004) (×10) | |||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 530040 | ||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 531301 | ||
| Übung | 532443 | Do 10:30-12:00 AH IV (2354|030) (×10) Do 16:30-18:00 AH II (2350|111) (×1) | |||
| Vorlesung | 532442 | Do 10:30-12:00 AH IV (2354|030) (×1) Do 13:30-18:00 AH IV (2354|030) (×1) Do 16:30-18:00 AH II (2350|111) (×9) Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 531297 |